\hypertarget{classAtomContFormula}{\section{Atom\-Cont\-Formula Class Reference}
\label{classAtomContFormula}\index{Atom\-Cont\-Formula@{Atom\-Cont\-Formula}}
}
Inheritance diagram for Atom\-Cont\-Formula\-:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[height=2.000000cm]{classAtomContFormula}
\end{center}
\end{figure}
\subsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\hyperlink{classAtomContFormula_a57d79f06baad31ddb734cb1b7ac128bb}{Atom\-Cont\-Formula} (unsigned int \-\_\-place\-Index, double \-\_\-c)
\begin{DoxyCompactList}\small\item\em Contains atomic formula of type $x \geq c $. \end{DoxyCompactList}\item 
\hypertarget{classAtomContFormula_a31fc3eea53c83452f05294e6d72ef819}{Formula\-\_\-type {\bfseries get\-Type} ()}\label{classAtomContFormula_a31fc3eea53c83452f05294e6d72ef819}

\item 
\hypertarget{classAtomContFormula_af119aa721b68f164fadca6e45361c221}{double {\bfseries get\-C} () const }\label{classAtomContFormula_af119aa721b68f164fadca6e45361c221}

\item 
\hypertarget{classAtomContFormula_afdc6917482500a40d8cdbef6a6ab1d8b}{unsigned int {\bfseries get\-Place\-Index} () const }\label{classAtomContFormula_afdc6917482500a40d8cdbef6a6ab1d8b}

\end{DoxyCompactItemize}


\subsection{Constructor \& Destructor Documentation}
\hypertarget{classAtomContFormula_a57d79f06baad31ddb734cb1b7ac128bb}{\index{Atom\-Cont\-Formula@{Atom\-Cont\-Formula}!Atom\-Cont\-Formula@{Atom\-Cont\-Formula}}
\index{Atom\-Cont\-Formula@{Atom\-Cont\-Formula}!AtomContFormula@{Atom\-Cont\-Formula}}
\subsubsection[{Atom\-Cont\-Formula}]{\setlength{\rightskip}{0pt plus 5cm}Atom\-Cont\-Formula\-::\-Atom\-Cont\-Formula (
\begin{DoxyParamCaption}
\item[{unsigned int}]{\-\_\-place\-Index, }
\item[{double}]{\-\_\-c}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily [inline]}}}\label{classAtomContFormula_a57d79f06baad31ddb734cb1b7ac128bb}


Contains atomic formula of type $x \geq c $. 


\begin{DoxyParams}{Parameters}
{\em place\-Index} & index of place $ x $. \\
\hline
{\em c} & camparison value. \\
\hline
\end{DoxyParams}


The documentation for this class was generated from the following file\-:\begin{DoxyCompactItemize}
\item 
model/Formula.\-h\end{DoxyCompactItemize}
